3

Automation in construction: Special issue CONVR 2009

Year:
2011
Language:
english
File:
PDF, 98 KB
english, 2011
34

Competent predicate abstraction in model checking

Year:
2011
Language:
english
File:
PDF, 366 KB
english, 2011